$def with (name)
    Hello $name!